completeness theorem meaning in English

完全性定理

Two completeness theorems set - valued stochastic analysis
集值随机分析中的两个完备性定理
An algebraic proof of completeness theorem of first - order logic
一阶逻辑完备性定理的代数证明
This paper discusses the system mpm and mfm , constructs the normal form theories of mpm and its tableau system . the soundness and completeness theorem of the tableau system are also given
本文建立了mp ~ m系统的范式理论，构造了其表推演系统，并证明了其可靠性和完备性。
In this thesis , the author just discusses horn clause sets , and gives how to transform horn clause set into neural network . go a step further , the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle , and proves completeness theorem and soundness theorem of the algorithm for resolution
本文将所讨论的子句集限制在horn子句集上，给出了horn子句集转化为一个神经网络模型的方法，进j一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。